Software construction - PDFSEARCH.IO - Document Search Engine

Software construction
Results: 3327

#	Item
101	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable 1.4.B-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:15 Software Questionnaire Embedded system Systems engineering Microsoft Excel Psychometrics Survey methodology Questionnaire construction Computer-assisted web interviewing
102	Excelsior JET for Linux Operating System Version 11 User’s Guide Add to Reading List Source URL: www.excelsiorjet.com Language: English - Date: 2015-09-29 02:47:57 Software Computing Cross-platform software Java platform Computing platforms Compiler construction Just-in-time compilation Excelsior JET Installation Java Nullsoft Scriptable Install System Executable
103	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-12-13 08:22:59 Theoretical computer science Software engineering Logic in computer science Computing Formal methods Programming language semantics Compiler construction Operational semantics Semantics Formal verification Compiler correctness Programming language
104	C A S E S T U DY Knutson Construction builds better malware defenses Minnesota construction company uses Malwarebytes Anti-Malware to clean up serious malware outbreak Add to Reading List Source URL: br.malwarebytes.com Language: English - Date: 2016-07-07 18:30:53 Software Computer security System software Antivirus software Malwarebytes Malware Avira Computer virus Zero-day
105	The CYK algorithm L645 / B659 Fall 2015 Where we’re going Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2015-10-27 13:08:39 Compiler construction Programming language implementation Syntax Software engineering Formal languages CYK algorithm Natural language parsing Parsing Phrase structure rules Top-down parsing Chart parser Context-free grammar
106	D3.1_semantic_parsing_for reviewers Add to Reading List Source URL: www.sensei-conversation.eu Language: English - Date: 2015-09-01 18:22:19 Linguistics Software Corpus linguistics Computational linguistics Computing Compiler construction Parsing FrameNet SYNTAX
107	Chapter 7 Linking Linking is the process of collecting and combining various pieces of code and data into a single file that can be loaded (copied) into memory and executed. Linking can be performed at compile time, whe Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2010-02-14 14:17:27 Computing Software Computer programming Programming language implementation Compiler construction Compilers Debugging Object file Linker Weak symbol Dynamic linker Relocation
108	Massive Suffix Array Construction with Thrill Michael Axtmann, Timo Bingmann, Peter Sanders, Sebastian Schlag, and 6 Students \| @ SPP 1736 I NSTITUTE OF Add to Reading List Source URL: panthema.net Language: English - Date: 2015-10-13 13:22:55 Computing Hadoop Apache Software Foundation Cloud infrastructure Parallel computing Distributed computing architecture Apache Hadoop MapReduce Suffix array Apache Spark Sanders Big data
109	Speaking for the Trees: a New (Old) Approach to Languages and Syntax by Moss Prescott B.A., University of California Berkeley, 2004 Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2010-12-16 12:20:46 Computing Software engineering Syntax Computer programming Compiler construction Parsing Formal languages Source code Parse tree Abstract syntax tree Abstract syntax S-expression
110	Special Characters "" (stringification) pseudooperator, 467 "" key, 501 $" special variable, 261, 306 Add to Reading List Source URL: hop.perl.plover.com Language: English - Date: 2005-01-13 11:42:51 Software engineering Computer programming Computing Subroutines Functional languages Scripting languages Compiler construction Object-oriented programming languages Scope Lexical analysis Regular expression Memoization

UPDATE